################# OBJECTIVE
maximize rawls:
	min{i in 1..n} u[i];
